Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
How to Program Organizations and Roles in the JADE Framework
2008-01-01 M. BALDONI; G. BOELLA; V. GENOVESE; R. GRENNA; L. VAN DER TORRE
A hybrid approach to the verification of computer interpretable guidelines
2015-01-01 Anselma, Luca; Bottrighi, Alessio; Giordano, Laura; Hommersom, Arjen; Molino, Gianpaolo; Montani, Stefania; Terenziani, Paolo; Torchio, Mauro
Hypersequent calculi for lewis' conditional logics with uniformity and reflexivity
2017-01-01 Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
2020-01-01 Dalmonte T.; Olivetti N.; Pozzato G.L.
Implementation of Choice of Jurisdiction and Law in Private Internatinal Law by PROLEG Meta-interpreter
2021-01-01 Ken Satoh, Laura Giordano, Matteo Baldoni
An Information Model for Computing Accountabilities
2018-01-01 Baldoni Matteo, Baroglio Cristina, May Katherine Marie, Micalizio Roberto, Tedeschi Stefano
Integrating legal-URN and eunomos: Towards a comprehensive compliance management solution
2014-01-01 Boella G.; Tosatto S.C.; Ghanavati S.; Hulstijn J.; Humphreys L.; Muthuri R.; Rifaut A.; Van Der Torre L.
Intelligent Supervision for Robust Plan Execution.
2011-01-01 Roberto Micalizio; Enrico Scala; Pietro Torasso
An Interaction-oriented Agent Framework for Open Environments
2011-01-01 M. Baldoni; C. Baroglio; F. Bergenti; E. Marengo; V. Mascardi; V. Patti; A. Ricci; A. Santi
Investigating the Use of Geometric Semantic Operators in Vectorial Genetic Programming
2020-01-01 Azzali I.; Vanneschi L.; Giacobini M.
Italian Anaphoric Annotation with the Phrase Detectives Game-With-A-Purpose
2011-01-01 L. Robaldo; M. Poesio; L. Ducceschi; J. Chamberlain; U. Kruschwitz
JADE/JaCaMo+2COMM: Programming Agent Interactions
2020-01-01 Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi
A knowledge-based weighted KNN for detecting Irony in Twitter
2018-01-01 Hernández Farías, Delia Irazú*; Montes-y-Gómez, Manuel; Escalante, Hugo Jair; Rosso, Paolo; Patti, Viviana
KnowNow: A serendipity-based educational tool for learning time-linked knowledge
2014-01-01 Di Caro L.; Robaldo L.; Bersia N.
Laying the foundations for a formal theory of drama
2005-01-01 R. DAMIANO; V. LOMBARDO; A. PIZZO
Learning from monkeys: Authorship issues arising from AI technology
2019-01-01 Ciani Sciolla Jacopo
Legal Basis and Regulatory Applications of the Once-Only Principle: The Italian Case
2021-01-01 Francesco Gorgerino
Making Sense of Indoor Spaces Using Semantic Web Mining and Situated Robot Perception
2017-01-01 Young J.; Basile V.; Suchi M.; Kunze L.; Hawes N.; Vincze M.; Caputo B.
MCC’2017 – The Seventh Model Checking Contest
2018-01-01 Kordon F.; Garavel H.; Hillah L.M.; Paviot-Adet E.; Jezequel L.; Hulin-Hubard F.; Amparore E.; Beccuti M.; Berthomieu B.; Evrard H.; Jensen P.G.; Le Botlan D.; Liebke T.; Meijer J.; Srba J.; Thierry-Mieg Y.; van de Pol J.; Wolf K.
A Methodological Contribution to Music Sequences Analysis
2006-01-01 D. RADICIONI; M. BOTTA
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
How to Program Organizations and Roles in the JADE Framework | 2008 | M. BALDONI; G. BOELLA; V. GENOVESE; R. GRENNA; L. VAN DER TORRE | |
A hybrid approach to the verification of computer interpretable guidelines | 2015 | Anselma, Luca; Bottrighi, Alessio; Giordano, Laura; Hommersom, Arjen; Molino, Gianpaolo; Montani, Stefania; Terenziani, Paolo; Torchio, Mauro | |
Hypersequent calculi for lewis' conditional logics with uniformity and reflexivity | 2017 | Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca | |
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) | 2020 | Dalmonte T.; Olivetti N.; Pozzato G.L. | |
Implementation of Choice of Jurisdiction and Law in Private Internatinal Law by PROLEG Meta-interpreter | 2021 | Ken Satoh, Laura Giordano, Matteo Baldoni | |
An Information Model for Computing Accountabilities | 2018 | Baldoni Matteo, Baroglio Cristina, May Katherine Marie, Micalizio Roberto, Tedeschi Stefano | |
Integrating legal-URN and eunomos: Towards a comprehensive compliance management solution | 2014 | Boella G.; Tosatto S.C.; Ghanavati S.; Hulstijn J.; Humphreys L.; Muthuri R.; Rifaut A.; Van Der Torre L. | |
Intelligent Supervision for Robust Plan Execution. | 2011 | Roberto Micalizio; Enrico Scala; Pietro Torasso | |
An Interaction-oriented Agent Framework for Open Environments | 2011 | M. Baldoni; C. Baroglio; F. Bergenti; E. Marengo; V. Mascardi; V. Patti; A. Ricci; A. Santi | |
Investigating the Use of Geometric Semantic Operators in Vectorial Genetic Programming | 2020 | Azzali I.; Vanneschi L.; Giacobini M. | |
Italian Anaphoric Annotation with the Phrase Detectives Game-With-A-Purpose | 2011 | L. Robaldo; M. Poesio; L. Ducceschi; J. Chamberlain; U. Kruschwitz | |
JADE/JaCaMo+2COMM: Programming Agent Interactions | 2020 | Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi | |
A knowledge-based weighted KNN for detecting Irony in Twitter | 2018 | Hernández Farías, Delia Irazú*; Montes-y-Gómez, Manuel; Escalante, Hugo Jair; Rosso, Paolo; Patti, Viviana | |
KnowNow: A serendipity-based educational tool for learning time-linked knowledge | 2014 | Di Caro L.; Robaldo L.; Bersia N. | |
Laying the foundations for a formal theory of drama | 2005 | R. DAMIANO; V. LOMBARDO; A. PIZZO | |
Learning from monkeys: Authorship issues arising from AI technology | 2019 | Ciani Sciolla Jacopo | |
Legal Basis and Regulatory Applications of the Once-Only Principle: The Italian Case | 2021 | Francesco Gorgerino | |
Making Sense of Indoor Spaces Using Semantic Web Mining and Situated Robot Perception | 2017 | Young J.; Basile V.; Suchi M.; Kunze L.; Hawes N.; Vincze M.; Caputo B. | |
MCC’2017 – The Seventh Model Checking Contest | 2018 | Kordon F.; Garavel H.; Hillah L.M.; Paviot-Adet E.; Jezequel L.; Hulin-Hubard F.; Amparore E.; Beccuti M.; Berthomieu B.; Evrard H.; Jensen P.G.; Le Botlan D.; Liebke T.; Meijer J.; Srba J.; Thierry-Mieg Y.; van de Pol J.; Wolf K. | |
A Methodological Contribution to Music Sequences Analysis | 2006 | D. RADICIONI; M. BOTTA |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile